<?php
// Placeholder
header("Location: manage_plugins.php");
exit;
?>